R. Smullyan, "First Order Logic"